Implementing an AADL performance analyzer

International audienc

Validation of a Mixed-Signal Board ATPG Method

International audienceThis paper presents the validation protocol of a mixed-signal board ATPG method. First results confirm the method fitting well with maintenance test, board modeling stage adequacy and test data generation reliability. The essential need for user-defined dedicated test strategies is highlighted in order to ensure meaningful test process and full blackbox test

Validation of a Mixed-Signal Board ATPG Method: The TCB case study

We present the validation protocol of our mixed-signal board ATPG method. First results confirm the method fitting well with maintenance test, board modeling stage adequacy and test data generation reliability. The essential need for user-defined dedicated test strategies is highlighted in order to ensure meaningful test process and full blackbox test

Implementing an Automatic Functional Test Pattern Generation for Mixed-Signal Boards in a Maintenance Context

International audienceIn this paper, we present in the context of mixed-signal board maintenance testing, language and implementation aspects of an automatic functional test pattern generation approach. The goal is to help maintenance test engineers. Our modeling method for mixed-signal boards and their components is presented and the languages proposed for modeling are described. The implementation of our test data generation process based on constraint logic programming is discussed. The application to a simple board is shown and the tool Copernicia developed in the context of our work is presented

Towards a Formal Approach for the Regeneration of PILOT Control System

International audiencePILOT (Programming and Interpreted Language Of actions for Telerobotics) is a high level language dedicated to the remote control of systems. Our team has built a complete control system for PILOT, which comprises six main modules: a human−machine interface, an interpreter, a rules generator, an evaluator, an execution module and a communication server. In this paper, we focus on the interpreter which is one of the most important parts of the system. For the initial release of the control system software, the main goal was to have a working environment in order to validate the concepts of the language PILOT. The various modules of the control system have been modeled by finite state automata and the code has been written manually. Although the experimentation carried out with the first release of the control system highlighted the benefits of PILOT for the control of mobile robots such as the robot MARC'H built by our team, some malfunctions were observed in the software and particularly in the interpreter. This paper aims at presenting the work performed, essentially based on testing, in order to detect and to correct software errors into the interpreter, at both conceptual and implementation levels. It ends by our ongoing work related to the use of Petri nets for modeling and testing the interpreter algorithms, the final goal being the generation of safe programs from "validated" models

Modeling and Generation of Test Patterns for Mixed-Signal Boards: Dealing With Basic Signals

International audienceIn the context of maintenance testing and diagnosis of faulty boards, a functional FSM (Finite State Machine)-based model for mixed-signal board has been introduced. The board is broken down into interconnected functional blocks. Each block has an associated functional model which describes its behavior and a test model which specifies how the block can be efficiently tested. A test model for a block is created by merging its functional model and a chosen test strategy. The board checking consists in testing each block individually using its test model and functional models of other blocks. Test patterns for a component are generated by covering the transitions of its test model and propagation to primary inputs/outputs through functional models of other blocks. The board test data set is built by using the test patterns for all the blocks of the board. The current improvement of the method deals with basic signals

Motion JPEG Video Authentication based on Quantization Matrix Watermarking: Application in Robotics

International audienceThe images authentication transmitted through the communication networks must verify the proof of the originality and robustness against the hacker attacks. The existing techniques such as the cryptographic methods are not sufficient. An effectiveness and robust solution is proposed in this paper. This solution is based on the watermarking of the video and especially the Motion JPEG stream. We focused on one of the major properties of the JPEG image which is the quantization matrix. The watermarking is performed on this matrix. We detail the obtained results against several attacks

Méthodologie de test pour cartes mixtes analogiques-numériques

Le problème abordé dans cette thèse concerne le test de cartes mixtes en maintenance. Dans le domaine du test matériel, de nombreuses méthodes et outils de test existent, ciblant principalement le test de circuits en phase de conception et de production. Peu d intérêt a été porté jusqu à présent au test de cartes mixtes en phase de maintenance. Pourtant, certains systèmes comme par exemple les systèmes militaires doivent rester opérationnels pendant plusieurs décennies. Il est alors important de s assurer que les fonctionnalités des cartes électroniques composant ces systèmes ne se dégradent pas au cours du temps. D autre part, lorsqu une carte est en panne, une aide au diagnostic s avère précieuse lorsqu il faut réparer. Nous proposons une méthodologie de test fonctionnel adaptée au contexte de la maintenance. Cette méthodologie permet une modélisation fonctionnelle uniforme des composants analogiques, numériques et mixtes de la carte à tester et est flexible vis-à-vis de la quantité d informations disponibles sur la carte. La génération des données de test est pilotée par des stratégies de test globales (bien adaptées à la maintenance préventive) ou locales (plus appropriées dans le cas de la maintenance corrective). L expertise et les pratiques industrielles des ingénieurs de test en maintenance, qui sont indispensables, sont prises en compte par la méthodologie sous la forme de modèles de test et de tactiques de test qui précisent le processus de génération des données de test. La méthodologie proposée est implantée dans un outil prototype en utilisant la programmation logique par contraintes, et son application sur quelques exemples de cartes mixtes est discutée.This thesis addresses the issue of mixed-signal board test in maintenance stage. Numerous test methods and test tools have been developed mainly for the test of circuits at design and production stages in hardware test. Surprisingly, one may notice that little interest has been placed into testing during the maintenance stage. However, some systems, like military systems for example, need to be maintained in operational conditions for decades. It is therefore important to ensure that the boards functionalities of such systems do not deteriorate over time. Should a board become faulty, diagnosis help is then useful to fix it. We propose a functional test methodology which suits the maintenance context. This methodology allows functional modelling for analogue, digital and mixed-signal components in a uniform way and is flexible with regard to the amount of information available on the board. The test data generation process is driven by global test strategies (suitable to preventive maintenance) or local test strategies (more suitable to corrective maintenance). Test engineers expertise and industrial practices are essential and are taken into account by the methodology in the form of test models and test tactics which specify the test data generation process. The proposed methodology is implemented into a prototype tool by using constraint logic programming and its application to several examples of mixed-signal boards is discussed.BREST-BU Droit-Sciences-Sports (290192103) / SudocSudocFranceF

Preuve de propriétés d’un analyseur syntaxique de plans de missions robotiques

National audienc